Create arch_do_boot_vcpu().
Signed-off-by: keir.fraser@cl.cam.ac.uk
}
}
+void arch_do_boot_vcpu(struct exec_domain *ed)
+{
+ struct domain *d = ed->domain;
+ ed->thread.schedule_tail = d->exec_domain[0]->thread.schedule_tail;
+ ed->mm.perdomain_ptes = d->mm_perdomain_pt + (ed->eid << PDPT_VCPU_SHIFT);
+}
+
#ifdef CONFIG_VMX
void arch_vmx_do_resume(struct exec_domain *ed)
{
OBJS := $(subst grant_table.o,,$(OBJS))
OBJS := $(subst page_alloc.o,,$(OBJS))
OBJS := $(subst physdev.o,,$(OBJS))
-OBJS := $(subst slab.o,,$(OBJS))
+OBJS := $(subst xmalloc.o,,$(OBJS))
endif
ifneq ($(debugger),y)
memcpy(&ed->thread, &idle0_exec_domain.thread, sizeof(ed->thread));
- /* arch_do_createdomain */
- ed->thread.schedule_tail = d->exec_domain[0]->thread.schedule_tail;
- ed->mm.perdomain_ptes = d->mm_perdomain_pt + (ed->eid << PDPT_VCPU_SHIFT);
+ arch_do_boot_vcpu(ed);
sched_add_domain(ed);
extern void arch_do_createdomain(struct exec_domain *ed);
+extern void arch_do_boot_vcpu(struct exec_domain *ed);
+
extern int arch_final_setup_guestos(
struct exec_domain *d, full_execution_context_t *c);